(set-logic QF_BV)
(declare-fun _substvar_79913_ () (_ BitVec 4))
(declare-fun _substvar_81387_ () (_ BitVec 3))
(declare-fun _substvar_84024_ () Bool)
(declare-fun _substvar_89245_ () Bool)
(declare-fun _substvar_89251_ () Bool)
(declare-fun |id 492 k 0| () (_ BitVec 3))
(assert (= |id 492 k 0| #b101))
(assert (and (= (ite _substvar_89251_ (ite _substvar_84024_ (_ bv0 3) _substvar_81387_) (ite (= #b1 ((_ extract 0 0) _substvar_79913_)) (_ bv0 3) |id 492 k 0|)) #b011) _substvar_89245_))
(check-sat)
(exit)
